Programming idioms

Results: 203



#Item
21A Virtual Machine for Functional Logic Computations⋆ Sergio Antoy1 , Michael Hanus2 , Jimeng Liu1 , and Andrew Tolmach1 1 2

A Virtual Machine for Functional Logic Computations⋆ Sergio Antoy1 , Michael Hanus2 , Jimeng Liu1 , and Andrew Tolmach1 1 2

Add to Reading List

Source URL: web.cecs.pdx.edu

Language: English - Date: 2005-03-01 19:29:53
22Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

Add to Reading List

Source URL: www.math.nagoya-u.ac.jp

Language: English - Date: 2006-09-25 20:40:20
23Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Idioms: applicative programming with effects

Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Idioms: applicative programming with effects

Add to Reading List

Source URL: strictlypositive.org

Language: English - Date: 2007-10-10 18:00:00
    24Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2

    Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2

    Add to Reading List

    Source URL: amitlevy.com

    Language: English - Date: 2012-10-19 15:09:55
    25Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand

    Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand

    Add to Reading List

    Source URL: www.cs.waikato.ac.nz

    Language: English - Date: 2010-06-14 20:29:16
    26

    PDF Document

    Add to Reading List

    Source URL: sygus.seas.upenn.edu

    Language: English - Date: 2015-01-10 00:32:22
    27POLYA PROBLEM-SOLVING SEMINAR WEEK 3: RECURRENCES BOB HOUGH AND RAVI VAKIL The Rules. These are way too many problems to consider. Just pick a few problems you like and play around with them.

    POLYA PROBLEM-SOLVING SEMINAR WEEK 3: RECURRENCES BOB HOUGH AND RAVI VAKIL The Rules. These are way too many problems to consider. Just pick a few problems you like and play around with them.

    Add to Reading List

    Source URL: math.stanford.edu

    Language: English - Date: 2007-10-18 14:49:28
    28Packrat Parsers Can Support Left Recursion ∗ Alessandro Warth James R. Douglass Todd Millstein

    Packrat Parsers Can Support Left Recursion ∗ Alessandro Warth James R. Douglass Todd Millstein

    Add to Reading List

    Source URL: tinlizzie.org

    Language: English - Date: 2008-12-30 02:04:39
    29Mining Idioms from Source Code Miltiadis Allamanis, Charles Sutton School of Informatics, University of Edinburgh Edinburgh EH8 9AB, UK {m.allamanis,csutton}@ed.ac.uk

    Mining Idioms from Source Code Miltiadis Allamanis, Charles Sutton School of Informatics, University of Edinburgh Edinburgh EH8 9AB, UK {m.allamanis,csutton}@ed.ac.uk

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2014-09-23 16:40:54
    30Algorithms Appendix II: Solving Recurrences [Fa’13] Change is certain. Peace is followed by disturbances; departure of evil men by their return. Such recurrences should not constitute occasions for sadness but realiti

    Algorithms Appendix II: Solving Recurrences [Fa’13] Change is certain. Peace is followed by disturbances; departure of evil men by their return. Such recurrences should not constitute occasions for sadness but realiti

    Add to Reading List

    Source URL: web.engr.illinois.edu

    Language: English - Date: 2014-12-28 09:03:29